Translation and analysis of words by ChatGPT artificial intelligence
On this page you can get a detailed analysis of a word or phrase, produced by the best artificial intelligence technology to date:
- how the word is used
- frequency of use
- it is used more often in oral or written speech
- word translation options
- usage examples (several phrases with translation)
- etymology
backward chaining - translation to English
общая лексика
обратная цепочка рассуждений, цепочка обратного [логического] вывода
один из методов поиска решения в экспертных системах. Путь рассуждений идёт от того, что нужно доказать, к фактам, на которых основывается доказательство. При прямой цепочке ход рассуждений начинается от фактов
антоним
общая лексика
прямая цепочка рассуждений, прямая цепочка [логического] вывода
один из методов поиска решения в экспертных системах. Ход рассуждений ведётся от фактов к тому, что нужно доказать
Смотрите также
общая лексика
обратная совместимость, полная совместимость с предыдущими версиями
способность машины на новом процессоре выполнять старые программы без необходимости внесения в них изменений. При этом новый процессор может содержать дополнительные команды и иметь другие особенности, которые могут использоваться в разрабатываемом для него ПО
Смотрите также
Definition
Wikipedia
Backward chaining (or backward reasoning) is an inference method described colloquially as working backward from the goal. It is used in automated theorem provers, inference engines, proof assistants, and other artificial intelligence applications.
In game theory, researchers apply it to (simpler) subgames to find a solution to the game, in a process called backward induction. In chess, it is called retrograde analysis, and it is used to generate table bases for chess endgames for computer chess.
Backward chaining is implemented in logic programming by SLD resolution. Both rules are based on the modus ponens inference rule. It is one of the two most commonly used methods of reasoning with inference rules and logical implications – the other is forward chaining. Backward chaining systems usually employ a depth-first search strategy, e.g. Prolog.
